Dozent: Lohrey, Markus
| Automaten und Sprachen | Do | 1515-1645 | Gr. Hs CLI | VO | Lohrey, Markus |
| Spieltheoretische Methoden in der Logik | Mi | 1315-1445 | Brühl, R 621 | VW | Lohrey, Markus |
| Spieltheoretische Methoden in der Logik | Do | 1115-1245 A | Brühl, R 512 | U | Lohrey, Markus |
| Verifikation unendlicher Systeme | Mi | 1515-1645 | Brühl, R 621 | VW | Lohrey, Markus |
| Verifikation unendlicher Systeme | Do | 1115-1245 B | Brühl, R 512 | U | Lohrey, Markus |
Stundenplaner,
© Sergej Melnik, 1997.
Für meine Kommilitonen am IfI.
Betreuung/Änderungen: Andreas Zerbst